How to Fix a Rust Hole